24 research outputs found
A Generating Function for all Semi-Magic Squares and the Volume of the Birkhoff Polytope
We present a multivariate generating function for all n x n nonnegative
integral matrices with all row and column sums equal to a positive integer t,
the so called semi-magic squares. As a consequence we obtain formulas for all
coefficients of the Ehrhart polynomial of the polytope B_n of n x n
doubly-stochastic matrices, also known as the Birkhoff polytope. In particular
we derive formulas for the volumes of B_n and any of its faces.Comment: 24 pages, 1 figure. To appear in Journal of Algebraic Combinatoric
The inverse moment problem for convex polytopes
The goal of this paper is to present a general and novel approach for the
reconstruction of any convex d-dimensional polytope P, from knowledge of its
moments. In particular, we show that the vertices of an N-vertex polytope in
R^d can be reconstructed from the knowledge of O(DN) axial moments (w.r.t. to
an unknown polynomial measure od degree D) in d+1 distinct generic directions.
Our approach is based on the collection of moment formulas due to Brion,
Lawrence, Khovanskii-Pukhikov, and Barvinok that arise in the discrete geometry
of polytopes, and what variously known as Prony's method, or Vandermonde
factorization of finite rank Hankel matrices.Comment: LaTeX2e, 24 pages including 1 appendi
Parametric Polyhedra with at least Lattice Points: Their Semigroup Structure and the k-Frobenius Problem
Given an integral matrix , the well-studied affine semigroup
\mbox{ Sg} (A)=\{ b : Ax=b, \ x \in {\mathbb Z}^n, x \geq 0\} can be
stratified by the number of lattice points inside the parametric polyhedra
. Such families of parametric polyhedra appear in
many areas of combinatorics, convex geometry, algebra and number theory. The
key themes of this paper are: (1) A structure theory that characterizes
precisely the subset \mbox{ Sg}_{\geq k}(A) of all vectors b \in \mbox{
Sg}(A) such that has at least solutions. We
demonstrate that this set is finitely generated, it is a union of translated
copies of a semigroup which can be computed explicitly via Hilbert bases
computations. Related results can be derived for those right-hand-side vectors
for which has exactly solutions or fewer
than solutions. (2) A computational complexity theory. We show that, when
, are fixed natural numbers, one can compute in polynomial time an
encoding of \mbox{ Sg}_{\geq k}(A) as a multivariate generating function,
using a short sum of rational functions. As a consequence, one can identify all
right-hand-side vectors of bounded norm that have at least solutions. (3)
Applications and computation for the -Frobenius numbers. Using Generating
functions we prove that for fixed the -Frobenius number can be
computed in polynomial time. This generalizes a well-known result for by
R. Kannan. Using some adaptation of dynamic programming we show some practical
computations of -Frobenius numbers and their relatives
A 7/9 - Approximation Algorithm for the Maximum Traveling Salesman Problem
We give a 7/9 - Approximation Algorithm for the Maximum Traveling Salesman
Problem.Comment: 6 figure
Linear extension sums as valuations on cones
33 pagesInternational audienceThe geometric and algebraic theory of valuations on cones is applied to understand identities involving summing certain rational functions over the set of linear extensions of a poset
FPTAS for optimizing polynomials over the mixed-integer points of polytopes in fixed dimension
We show the existence of a fully polynomial-time approximation scheme (FPTAS)
for the problem of maximizing a non-negative polynomial over mixed-integer sets
in convex polytopes, when the number of variables is fixed. Moreover, using a
weaker notion of approximation, we show the existence of a fully
polynomial-time approximation scheme for the problem of maximizing or
minimizing an arbitrary polynomial over mixed-integer sets in convex polytopes,
when the number of variables is fixed.Comment: 16 pages, 4 figures; to appear in Mathematical Programmin
Nonlinear Integer Programming
Research efforts of the past fifty years have led to a development of linear
integer programming as a mature discipline of mathematical optimization. Such a
level of maturity has not been reached when one considers nonlinear systems
subject to integrality requirements for the variables. This chapter is
dedicated to this topic.
The primary goal is a study of a simple version of general nonlinear integer
problems, where all constraints are still linear. Our focus is on the
computational complexity of the problem, which varies significantly with the
type of nonlinear objective function in combination with the underlying
combinatorial structure. Numerous boundary cases of complexity emerge, which
sometimes surprisingly lead even to polynomial time algorithms.
We also cover recent successful approaches for more general classes of
problems. Though no positive theoretical efficiency results are available, nor
are they likely to ever be available, these seem to be the currently most
successful and interesting approaches for solving practical problems.
It is our belief that the study of algorithms motivated by theoretical
considerations and those motivated by our desire to solve practical instances
should and do inform one another. So it is with this viewpoint that we present
the subject, and it is in this direction that we hope to spark further
research.Comment: 57 pages. To appear in: M. J\"unger, T. Liebling, D. Naddef, G.
Nemhauser, W. Pulleyblank, G. Reinelt, G. Rinaldi, and L. Wolsey (eds.), 50
Years of Integer Programming 1958--2008: The Early Years and State-of-the-Art
Surveys, Springer-Verlag, 2009, ISBN 354068274
Valuations on lattice polytopes
This survey is on classification results for valuations defined on lattice polytopes that intertwine the special linear group over the integers. The basic real valued valuations, the coefficients of the Ehrhart polynomial, are introduced and their characterization by Betke and Kneser is discussed. More recent results include classification theorems for vector and convex body valued valuations. © Springer International Publishing AG 2017